1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
المؤلف: Hermes, Hans.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
2. Computability
المؤلف: / Martin Davis
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Recursive functions,Unsolvability (Mathematical logic),Computable functions
رده :
QA9
.
615
.
D38
1982
3. Computability /
المؤلف: George J. Tourlakis
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
4. Computability
المؤلف: Tourllakis, George J.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
5. Computability
المؤلف: Weihrauch, K.)Klaus(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
6. Computability : an introduction to recursive function theory
المؤلف: Nigel Cutland
المکتبة: (طهران)
موضوع: ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
7. Computability and logic
المؤلف: Boolos, George.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
8. Computability and logic
المؤلف:
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
9. Computability and logic
المؤلف: George Boolos, Richard Jeffrey
المکتبة: (طهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
10. Computability and logic
المؤلف: Boolos, George S
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Logic, symbolic and mathematics ► Computable functions ► Recursive functions
رده :
B724c
11. Computability and logic
المؤلف: Boolos, George S
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Logic, symbolic and mathematics ► Computable functions ► Recursive functions
رده :
B724c
12. Computability and logic
المؤلف:
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
13. Computability and logic
المؤلف: George Boolos, Richard Jeffrey
المکتبة: (طهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
14. Computability and logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
59
,.
B66
,
2002
15. Computability and logic
المؤلف: Boolos, George
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Computable functions ► Recursive functions ► Logic, Symbolic and mathematical
رده :
B724c
16. Computability and logic
المؤلف: Boolos, George
المکتبة: المکتبه المرکزيه و مرکز الوثائق جامعه اصفهان (أصبهان)
موضوع: Computable functions ► Recursive functions ► Logic, Symbolic and mathematical
رده :
B724c
17. Computability and logic
المؤلف: / George S. bools, John P.Burgess, Richard C. Jeffrey
المکتبة: مکتبه و مرکز الوثائق بکلیه الفنون الجمیله (طهران)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
18. Computability and logic
المؤلف: George Boolos, Richard Jeffrey
المکتبة: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع: Computable functions,Recursive functions
رده :
511
.
3
B724C
19. Computability and logic
المؤلف: / George S. Boolos, Richard C. Jeffrey
المکتبة: مكتبة مدرسة الفارابي، جامعة طهران (قم)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
1989
20. Computability and logic
المؤلف: / George Boolos, Richard Jeffrey
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
1980
